A definite clause grammar is a way of representing grammars as definite clauses in Prolog and related languages. This allows the grammar to express a level of semantics in the form of 'features' and conditions on these, thus adding a level of {[semantics}} to the grammar.
Used in Chap. 13: page 196